Nuprl Definition : concat
0,22
postcript
pdf
concat(
ll
) == reduce(
l
,
l'
.
l
@
l'
;nil;
ll
)
latex
Definitions
concat(
ll
)
,
reduce(
f
;
k
;
as
)
,
as
@
bs
FDL editor aliases
concat
origin
l,l'. l @ l';nil;ll) l,l'. l @ l';nil;ll)